libahven5-dev software package provides Unit test library for Ada (development), you can install in your Ubuntu 17.04 (Zesty Zapus) by running the commands given below on the terminal,
$ sudo apt-get update $ sudo apt-get install libahven5-dev
libahven5-dev is installed in your system.
Make ensure the libahven5-dev package were installed using the commands given below,
$ sudo dpkg-query -l | grep libahven5-dev *
You will get with libahven5-dev package name, version, architecture and description in a table
| Distro | Ubuntu 17 04 zesty zapus |
| Section | Library development |
| Package | libahven5-dev |
| Version | 2.6-1.1build1 |
| Description | Unit test library for Ada (development) |
| Sub Section | libdevel |